1561. The joint conference of ASCM 2009 and MACIS 2009 : Asian symposium on computer mathematics, mathematical aspects of computer and information sciences
پدیدآورنده : editors : Masakazu Suzuki....]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science -- Mathematics,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Number theory
رده :
QA
76
.
9
.
M35A88
2009
1562. The limits of mathematics :
پدیدآورنده : Gregory J. Chaitin
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics,Information theory,Reasoning
رده :
QA76
.
9
.
M35
C48
1998
1563. <The> limits of mathematics:a course on information theory
پدیدآورنده : Gregory J.Chaitin
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Computer science-mathematics,information theory,reasoning
رده :
QA
76
.
9
.
M35
,
C48
1997
1564. <The> limits of mathematics:a course on information theory
پدیدآورنده : Gregory J.Chaitin
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Computer science-mathematics,information theory,reasoning
رده :
QA
76
.
9
.
M35
,
C48
1997
1565. The limits of mathematics : a course on information theory and limits of formal reasoning
پدیدآورنده : Chaitin, Gregory J.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Mathematics ، Computer science,، Information theory,، Reasoning
رده :
QA
76
.
9
.
M35C43
1566. The limits of mathematics: a course on information theory and the limits of formal reasoning
پدیدآورنده : Chaitin, Gregory J
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Computer science-- Mathematics,، Information theory,، Reasoning
رده :
QA
76
.
9
.
M35
.
C48
1998
1567. The mathematical revolution inspired by computing: based on the proceedings of a conference on the mathematical revolution inspired by computing, organized by the Institute of Mathematics and Its Applications and held at Brighton Polytechnic in April 1989
پدیدآورنده : J.H. Johnson, M. J. Loomes ]eds.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science -- Mathematics
رده :
QA
76
.
9
.
M35C65
1989
1568. The mathematics of harmony
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Fibonacci numbers. ; Golden section. ; Mathematics ; History. ; Computer science. ;
1569. The physics of computing
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics. ;
1570. The science of computing
پدیدآورنده : Meissner, Loren P.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Computer science-- Mathematics
رده :
QA
76
.
6
.
M44
1571. The science of computing
پدیدآورنده : Meissner, Loren P
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Electronic digital computers -- Programming,، Computer science -- Mathematics
رده :
QA
76
.
6
.
M44
1572. Theoretical foundations of computer science
پدیدآورنده : Mandrioli, Dino.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Mathematics,، Computer science
رده :
QA
39
.
2
.
M336
1987
1573. Theoretical and mathematical foundations of computer science :
پدیدآورنده : Qihai Zhou (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.
رده :
QA76
.
9
.
M35
I28
2011
1574. Theoretical aspects of computing -- ICTAC 2013 :
پدیدآورنده : Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
1575. Theory and Applications of Models of Computation
پدیدآورنده : \ Rahul Jain , Sanjay Jain, Frank Stephan (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Computational complexity -- Congresses,Turing machines -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,پیچیدگی محاسباتی -- کنگره ها
رده :
QA
76
.
9
.
M35T46
2015
E-Book
,
1576. Theory and applications of models of computation :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics ; Congresses. ;
1577. Theory and applications of models of computation :
پدیدآورنده : Mitsunori Ogihara, Jun Tarui (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computable functions, Congresses,Computational complexity, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
T36
2011eb
1578. Theory and applications of models of computation
پدیدآورنده : Mitsunori Ogihara, Jun Tarui (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer science, Congresses.
1579. Theory and applications of models of computation :
پدیدآورنده : T.V. Gopal, Junzo Watada (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity, Congresses.,Computer science-- Mathematics, Congresses.,Turing machines, Congresses.,Computational complexity.,Computer science-- Mathematics.,Turing machines.
رده :
QA76
.
9
.
M35
T35
2019eb
1580. Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday
پدیدآورنده : Juhani Karhumaki ... ]et al.[ , Eds.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science,، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
3113
